On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.